gtkmain: Avoid doubly propagation of enter/leave events from windowing

Crossing events are already generated when picking the new pointer position,
so we don't have to propagate the windowing crossing event as-is.

diff --git a/gtk/gtkmain.c b/gtk/gtkmain.c
index f724c78355c20acef923e71d27e538da2c93ffa4..cc9e2387165b8775d81c8c4afc380737d35fe933 100644 (file)
--- a/gtk/gtkmain.c
+++ b/gtk/gtkmain.c
@@ -1797,9 +1797,7 @@ gtk_main_do_event (GdkEvent *event)
 
     case GDK_ENTER_NOTIFY:
     case GDK_LEAVE_NOTIFY:
-      if (gtk_widget_is_sensitive (grab_widget) &&
-          !_gtk_propagate_captured_event (grab_widget, event, topmost_widget))
-        gtk_widget_event (grab_widget, event);
+      /* Crossing event propagation happens during picking */
       break;
 
     case GDK_DRAG_STATUS: